cmconfig?($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of config(${\it list}$) =$>$ tt seq(${\it from}$,${\it to}$,${\it num}$) =$>$ ff